void recv_msg_recognize_type(int sd, short event, void * arg);
void recv_proposal_message(int sd);
void recv_short_notification_msg(int sd);
void recv_inst_msg(int sd);
void recv_inst_paxos_msg(int sd);
void recv_paxos_msg(int sd);
void update_statistics(int status, int hd);
void store_proposal(proposer_msg *p_msg);
double max(double a, double b);
void a_handle_paxos_only(paxos_short_not *pd_msg);
